退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:minimaxsat:一种新的加权max-saT求解器
Federico Heras; Javier Larrosa; Albert Oliveras;
机译:MiniMaxSAT:高效的加权Max-SAT解算器
机译:MINIMAXSAT:高效的加权Max-SAT解算器
机译:MiniMaxSat:一种新的加权Max-SAT解算器
机译:使用最大加权独立集的概念解决过程规划和调度问题
机译:药敏加权成像–小脑桥脑角神经鞘瘤和脑膜瘤鉴别诊断的工具
机译:加权Max-SAT的高效求解器
机译:用于DNA计算的基于解链温度差的DNA链中加权数的表示方法以及使用该方法解决加权图问题的方法
机译:求解加权平面图的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。